P. Ciancaglini⁎: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The Syriac Version of the Alexander Romance

CIANCAGLINI, Claudia A.

Journal:

Year:

2001

Language:

english

File:

PDF, 275 KB

english, 2001

2

The effect of carbon source and fluoride concentrations in the streptococcus mutans biofilm formation

Tony P. Paulino, Ricardo O. Andrade, Giuliana C. M. Bruschi-Thedei, Geraldo Thedei Jr, Pietro Ciancaglini

Journal:

Biochemistry and Molecular Biology Education

Year:

2004

Language:

english

File:

PDF, 311 KB

english, 2004

3

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 902 || A simplification of Girard's paradox

Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon

Year:

1995

Language:

english

File:

PDF, 679 KB

english, 1995

4

Gholami, Saloumeh: Selected Features of Bactrian Grammar

Ciancaglini, Claudia A.

Journal:

Orientalistische Literaturzeitung

Year:

2016

Language:

english

File:

PDF, 1.53 MB

english, 2016

5

Fermentable and non-fermentable sugars: A simple experiment of anaerobic metabolism

Tony P. Paulino, Mauro Cardoso Jr, Giuliana C. M. Bruschi-Thedei, Pietro Ciancaglini, Geraldo Thedei Jr

Journal:

Biochemistry and Molecular Biology Education

Year:

2003

Language:

english

File:

PDF, 109 KB

english, 2003

6

Intersection types for combinatory logic

Mariangiola Dezani-Ciancaglini, J.Roger Hindley

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 1.16 MB

english, 1992

7

Intersection types and domain operators

Fabio Alessi, Mariangiola Dezani-Ciancaglini, Stefania Lusin

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 338 KB

english, 2004

8

Compositional characterisations of -terms using intersection types

M. Dezani-Ciancaglini, F. Honsell, Y. Motohama

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 594 KB

english, 2005

9

Intersection types and lambda models

Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 352 KB

english, 2006

10

Amalgamating sessions and methods in object-oriented languages with generics

Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 3.16 MB

english, 2009

11

Intersection types for λ-trees

Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 298 KB

english, 2002

12

Infinitary lambda calculus and discrimination of Berarducci trees

Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 332 KB

english, 2003

13

Intersection Types and Computational Rules

Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 456 KB

english, 2003

14

Association between loss of occlusal support and symptoms of functional disturbances of the masticatory system

R. Ciancaglini, E. F. Gherlone, G. Radaelli

Journal:

Journal of Oral Rehabilitation

Year:

1999

Language:

english

File:

PDF, 169 KB

english, 1999

15

A data structure formalization through generating functions

Corrado Böhm, M. Dezani-Ciancaglini

Journal:

Year:

1974

Language:

english

File:

PDF, 760 KB

english, 1974

16

Biosensors for Efficient Diagnosis of Leishmaniasis: Innovations in Bioanalytics for a Neglected Disease

Perinoto, Ângelo C., Maki, Rafael M., Colhone, Marcelle C., Santos, Fabiana R., Migliaccio, Vanessa, Daghastanli, Katia R., Stabeli, Rodrigo G., Ciancaglini, Pietro, Paulovich, Fernando V., de Olivei

Journal:

Analytical Chemistry

Year:

2010

Language:

english

File:

PDF, 1.47 MB

english, 2010

17

Effect of Oral Losartan Potassium Administration on Intraocular Pressure in Normotensive and Glaucomatous Human Subjects

Ciro Costagliola, Marco Verolino, Maria Leonarda De Rosa, Gennarfrancesco Iaccarino, Marco Ciancaglini, Leonardo Mastropasqua

Journal:

Experimental Eye Research

Year:

2000

Language:

english

File:

PDF, 126 KB

english, 2000

18

Deep Lamellar Keratoplasty by Intracorneal Dissection: A Prospective Clinical and Confocal Microscopic Study

Giorgio Marchini, Leonardo Mastropasqua, Emilio Pedrotti, Mario Nubile, Marco Ciancaglini, Arianna Sbabo

Journal:

Year:

2006

Language:

english

File:

PDF, 575 KB

english, 2006

19

Digital Image Analysis to Standardize a Photometric Method in Colorimetric Quantification

Minamisawa, R. A., Santos, L. E. R., Parada, M. A., Daghastanli, K. R. P., Ciancaglini, P., De Almeida, A.

Journal:

Instrumentation Science & Technology

Year:

2007

Language:

english

File:

PDF, 217 KB

english, 2007

20

A complete characterization of complete intersection-type preorders

Dezani-Ciancaglini, M., Honsell, F., Alessi, F.

Journal:

ACM Transactions on Computational Logic

Year:

2003

Language:

english

File:

PDF, 236 KB

english, 2003

21

Combining behavioural types with security analysis

Bartoletti, Massimo, Castellani, Ilaria, Deniélou, Pierre-Malo, Dezani-Ciancaglini, Mariangiola, Ghilezan, Silvia, Pantovic, Jovanka, Pérez, Jorge A., Thiemann, Peter, Toninho, Bernardo, Vieira, Hugo

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 1.11 MB

english, 2015

22

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 902 || Extensions of pure type systems

Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon

Year:

1995

Language:

english

File:

PDF, 797 KB

english, 1995

23

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 902 || βη-Equality for coproducts

Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon

Year:

1995

Language:

english

File:

PDF, 859 KB

english, 1995

24

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 902 || Typed operational semantics

Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon

Year:

1995

Language:

english

File:

PDF, 781 KB

english, 1995

25

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 372 || An optimal probabilistic algorithm for synchronous Byzantine agreement

Ausiello, Giorgio, Dezani-Ciancaglini, Mariangiola, Della Rocca, Simonetta Ronchi

Year:

1989

Language:

english

File:

PDF, 2.49 MB

english, 1989

26

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 372 || Syntactic control of interference Part 2

Ausiello, Giorgio, Dezani-Ciancaglini, Mariangiola, Della Rocca, Simonetta Ronchi

Year:

1989

Language:

english

File:

PDF, 963 KB

english, 1989

27

Preface

DEZANI-CIANCAGLINI, MARIANGIOLA, LONGO, GIUSEPPE, SELDIN, JONATHAN P.

Journal:

Mathematical Structures in Computer Science

Year:

1999

Language:

english

File:

PDF, 52 KB

english, 1999

28

Forensic Investigation of Formaldehyde in Illicit Products for Hair Treatment by DAD-HPLC: A Case Study

Oiye, Erica N., Ribeiro, Maria Fernanda M., Okumura, Leonardo L., Saczk, Adelir A., Ciancaglini, Pietro, de Oliveira, Marcelo F.

Journal:

Journal of Forensic Sciences

Year:

2016

Language:

english

File:

PDF, 181 KB

english, 2016

29

The importance of cyclic structure for Labaditin on its antimicrobial activity against Staphylococcus aureus

Barbosa, Simone C., Nobre, Thatyane M., Volpati, Diogo, Ciancaglini, Pietro, Cilli, Eduardo M., Lorenzón, Esteban N., Oliveira, Osvaldo N.

Journal:

Colloids and Surfaces B: Biointerfaces

Year:

2016

Language:

english

File:

PDF, 1.04 MB

english, 2016

30

Biomedical applications of nanotechnology

Ramos, Ana P., Cruz, Marcos A. E., Tovani, Camila B., Ciancaglini, Pietro

Journal:

Biophysical Reviews

Year:

2017

Language:

english

File:

PDF, 611 KB

english, 2017

31

Biomimetic collagen/phospholipid coatings improve formation of hydroxyapatite nanoparticles on titanium

Ruiz, Gilia C.M., Cruz, Marcos A.E., Faria, Amanda N., Zancanela, Daniela C., Ciancaglini, Pietro, Ramos, Ana P.

Journal:

Materials Science and Engineering: C

Year:

2017

Language:

english

File:

PDF, 1.23 MB

english, 2017

32

Data-driven adaptation for smart sessions

Bono, Viviana, Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Venneri, Betti

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2017

Language:

english

File:

PDF, 920 KB

english, 2017

33

Different compact hybrid Langmuir-Blodgett-film coatings modify biomineralization and the ability of osteoblasts to grow

de Faria, Amanda N., Cruz, Marcos A.E., Ruiz, Gília C.M., Zancanela, Daniela C., Ciancaglini, Pietro, Ramos, Ana P.

Journal:

Journal of Biomedical Materials Research Part B: Applied Biomaterials

Year:

2018

Language:

english

File:

PDF, 864 KB

english, 2018

34

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 902 || Third-order matching in the presence of type constructors

Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon

Year:

1995

Language:

english

File:

PDF, 959 KB

english, 1995

35

Prevalence of Myopia in Open Angle Glaucoma

Mastropasqua, L., Lobefalo, L., Mancini, A., Ciancaglini, M., Palma, S.

Journal:

European Journal of Ophthalmology

Year:

1992

Language:

english

File:

PDF, 447 KB

english, 1992

36

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 372 || Polymorphic rewriting conserves algebraic strong normalization and confluence

Ausiello, Giorgio, Dezani-Ciancaglini, Mariangiola, Della Rocca, Simonetta Ronchi

Year:

1989

Language:

english

File:

PDF, 947 KB

english, 1989

37

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 372 || Programming, transforming, and proving with function abstractions and memories

Ausiello, Giorgio, Dezani-Ciancaglini, Mariangiola, Della Rocca, Simonetta Ronchi

Year:

1989

Language:

english

File:

PDF, 1.01 MB

english, 1989

38

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 902 || A realization of the negative interpretation of the Axiom of Choice

Dezani-Ciancaglini, Mariangiola, Plotkin, Gordon

Year:

1995

Language:

english

File:

PDF, 790 KB

english, 1995

39

Collagen-supported CaCO3 cylindrical particles enhance Ti bioactivity

Tovani, C.B., Faria, A.N., Ciancaglini, P., Ramos, A.P.

Journal:

Surface and Coatings Technology

Year:

2018

Language:

english

File:

PDF, 1.28 MB

english, 2018

40

Effectiveness of the GAEC cross-compliance standard Short-term measures for runoff water control on sloping land (temporary ditches and grass strips) in controlling soil erosion

Bazzoffi, Paolo, Ciancaglini, Arianna, Laruccia, Nicola

Journal:

Italian Journal of Agronomy

Year:

2011

Language:

english

File:

PDF, 5.27 MB

english, 2011

41

Assessment of neuropharmacological potential of low molecular weight components extracted from Rhinella schneideri toad poison

Baldo, Mateus Amaral, Cunha, Alexandra Olimpio Siqueira, Godoy, Lívea Dornela, Liberato, José Luiz, Yoneda, Juliana Sakamoto, Fornari-Baldo, Elisa Correa, Ciancaglini, Pietro, Santos, Wagner Ferreira

Journal:

Journal of Venomous Animals and Toxins including Tropical Diseases

Year:

2019

Language:

english

File:

PDF, 824 KB

english, 2019

42

Strontium-calcium phosphate nanotubes as bioinspired building blocks for bone regeneration

Tovani, Camila B., Oliveira, Tamires Maira, Soares, Mariana P R, Nassif, Nadine, Fukada, Sandra Yasuyo, Ciancaglini, Pietro, Gloter, Alexandre, Ramos, Ana Paula

Journal:

ACS Applied Materials & Interfaces

Year:

2020

File:

PDF, 6.11 MB

2020

43

Composition and decomposition of multiparty sessions

Barbanera, Franco, Dezani-Ciancaglini, Mariangiola, Lanese, Ivan, Tuosto, Emilio

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2021

File:

PDF, 807 KB

2021

44

The adaptive response to ambient pH in Neurospora crassa: Contribution of a model organism to the elucidation of gene expression in eukaryotes

Sérgio R. Nozawa, Geraldo Thedei Jr., Pietro Ciancaglini, Antonio Rossi

Journal:

Biochemistry and Molecular Biology Education

Year:

2002

Language:

english

File:

PDF, 62 KB

english, 2002

45

Influence of enzyme conformational changes on catalytic activity investigated by circular dichroism spectroscopy

Carolina Fortes Rigos, Hérica de Lima Santos, Geraldo Thedei Jr, Richard John Ward, Pietro Ciancaglini

Journal:

Biochemistry and Molecular Biology Education

Year:

2003

Language:

english

File:

PDF, 87 KB

english, 2003

46

Use of visible light-based photodynamic therapy to bacterial photoinactivation

Tony P. Paulino, Prislaine P. Magalhães, Geraldo Thedei Jr, Antônio C. Tedesco, Pietro Ciancaglini

Journal:

Biochemistry and Molecular Biology Education

Year:

2005

Language:

english

File:

PDF, 82 KB

english, 2005

47

Use of molecular dynamics data in biochemistry courses : An amphipathy scale to determine protein α-helix transmembrane segments

Fernanda M. Mazzé, Carlos A. Fuzo, Léo Degrève, Pietro Ciancaglini

Journal:

Biochemistry and Molecular Biology Education

Year:

2008

Language:

english

File:

PDF, 431 KB

english, 2008

48

Functional Characters of Solvable Terms

M. Coppo, M. Dezani-Ciancaglini, B. Venneri

Journal:

Mathematical Logic Quarterly

Year:

1981

Language:

english

File:

PDF, 851 KB

english, 1981

49

Solubilization of membrane-bound matrix-induced alkaline phosphatase with polyoxyethylene 9-lauryl ether (polidocanol): Purification and metalloenzyme properties

P. Ciancaglini, J.M. Pizauro, A.A. Rezende, L.A. Rezende, F.A. Leone

Journal:

International Journal of Biochemistry

Year:

1990

Language:

english

File:

PDF, 681 KB

english, 1990

50

Phosphotransferase activity associated with rat osseous plate alkaline phosphatase: a possible role in biomineralization

J.M. Pizauro, P. Ciancaglini, F.A. Leone

Journal:

International Journal of Biochemistry

Year:

1992

Language:

english

File:

PDF, 676 KB

english, 1992

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски